Bernhard Möller
4 publications
1 venues
H Index 2
Affiliation
University of Augsburg, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Algebraic Specifications of Reachable Higher-Order Algebras.
|
ADT | 1987 | 0 |
| Algebraic Specifications with Higher-Order Operations.
|
ADT | 1986 | 0 |
| On the Algebraic Specification of Domains.
|
ADT | 1984 | 21 |
| Ordered and Continuous Models of Algebraic Types.
|
ADT | 1983 | 6 |